package com.jpetrinet.lowlevel;

import com.jpetrinet.core.Annotation;

public class PTMarking extends Annotation {

	public PTMarking(Integer value) {
		super(value);
	}
}
